REF, NoConds
\\[0ex]es\_real\{ABS:q, \$opid:t\}(${\it tokens}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$EsReal `\$opid` ${\it tokens}$$\cdot$